#include <bits/stdc++.h>
#define ps putchar(' ')
#define pe putchar('\n')
using namespace std;
inline int read()
{
    int ans = 0, f = 0;
    char c = getchar();
    while (!isdigit(c))
        f |= c == '-', c = getchar();
    while (isdigit(c))
        ans = (ans << 3) + (ans << 1) + c - 48, c = getchar();
    return f ? -ans : ans;
}
void write(int x)
{
    if (x < 0)
        putchar('-'), x = -x;
    if (x > 9)
        write(x / 10);
    putchar(48 + x % 10);
}
const int N = 2e5 + 5;
int n;
signed main()
{
    freopen("road.in", "r", stdin);
    freopen("road.out", "w", stdout);
    n = read();
    write(2), ps, write(n + 1), pe;
    for (int i = 0; i <= n; ++i)
        write(1), ps, write(114), ps, write(i), pe;
    return 0;
}